#!/bin/sh -x
# $1 objdump parameters, $2 = source binary, $3 = target assembly file

riscv32-unknown-elf-objdump $1 --wide -Mnumeric -m riscv:rv32 "$2" > "$3"
head -n 128 "$3"
echo "..."
